#/bin/bash
# 运行smack进行静态分析
for cfile in `ls *.c`
do
    echo "----statically verifying using SMACK for [${cfile}], warn silented ----"
    echo "smack ${cfile} --clang-option=\"-I../../include/ -I../../include_api/ -I../../include_arch/ -I../../include_plat/\""
    smack ${cfile} --warn silent --verifier-options="/trackAllVars /staticInlining" --clang-option="-I../../include/ -I../../include_api/ -I../../include_arch/ -I../../include_plat/"
done